Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
371	Microsoft PowerPoint - 2010_fodor_ppdp.pptx Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-29 08:57:48 Philosophy of language Philosophy of mind Semantics Prolog Constructible universe Metaphilosophy Philosophy Model theory Logic Interpretation
372	Chapter 11 How Not to Trivialize the Identity of Indiscernibles Gonzalo Rodriguez-Pereyra Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-03-18 12:19:48 Gottfried Leibniz Philosophical logic Aristotelianism Substance theory Semantics Property Identity Difference Predicate Metaphysics Ontology Philosophy
373	Representing Vague Places: Determining a Suitable Method, P-kar workshop - Spatial Cognition 2012 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-08-08 03:04:48 Science Artificial intelligence Critical thinking Philosophy of language Semantics Vagueness Rough set Geographic information system Feature Logic Mathematical logic Fuzzy logic
374	Bach of Ed References-cc:Layout 1 Add to Reading List Source URL: www.ioe.ac.uk Language: English - Date: 2015-05-09 02:42:18 Philosophical logic Reference Semantics Referee Professor Rugby union match officials Education Knowledge Academia
375	Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:39 Mathematics Propositional calculus Charles Sanders Peirce Model theory Answer set programming If and only if Forcing Stable model semantics Belief revision Logic Mathematical logic Logic programming
376	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
377	Type Synthesis for the Logical Solver: an Approach based on Query Automata Louis Jachiet, Pierre Genev`es, Nabil Laya¨ıda July 25, Add to Reading List Source URL: typex.lri.fr Language: English - Date: 2014-06-10 11:53:41 Philosophy of mind Semantics Logic Linguistics Philosophy Interpretation Model theory Philosophy of language
378	A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:24:28 Belief revision Model theory Semantics Constructible universe Interpretation Symbol Entailment Logic Logic programming Knowledge representation
379	Statistical resolution of scope ambiguity in natural language Galen Andrew and Bill MacCartney 4 March Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 15:14:14 Semantics Mathematics Predicate logic Formal languages Sentence Model theory Regular expression Interpretation Cross-validation Logic Mathematical logic Quantification
380	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics

UPDATE